msg($l$; $t$; $v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$l$, $t$, $v$$>$